Alexander Pretschner: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FASW) - Umea, Sweden (2019.6.16-2019.6.20)] 2019 IEEE 4th International Workshops on Foundations and Applications of Self Systems (FAS*W) - Learning Approach for Smart Self-Adaptive Cyber-Physical Systems

Petrovska, Ana, Pretschner, Alexander

Year:

2019

Language:

english

File:

PDF, 63 KB

english, 2019

2

[IEEE 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC) - Montreal, QC, Canada (2019.5.25-2019.5.26)] 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC) - Learning a Classifier for Prediction of Maintainability Based on Static Analysis Tools

Schnappinger, Markus, Osman, Mohd Hafeez, Pretschner, Alexander, Fietzke, Arnaud

Year:

2019

Language:

english

File:

PDF, 2.64 MB

english, 2019

3

Guest editorial for the special section on MODELS 2016

Kienzle, Jörg, Pretschner, Alexander

Journal:

Software & Systems Modeling

Year:

2019

Language:

english

File:

PDF, 146 KB

english, 2019

4

[ACM Press the 12th ACM/IEEE International Symposium - Oulu, Finland (2018.10.11-2018.10.12)] Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM '18 - Software quality assessment in practice

Schnappinger, Markus, Osman, Mohd Hafeez, Pretschner, Alexander, Pizka, Markus, Fietzke, Arnaud

Year:

2018

Language:

english

File:

PDF, 490 KB

english, 2018

5

[IEEE Future of Software Engineering - Minneapolis, MN, USA (2007.05.23-2007.05.25)] Future of Software Engineering (FOSE '07) - Software Engineering for Automotive Systems: A Roadmap

Pretschner, Alexander, Broy, Manfred, Kruger, Ingolf H., Stauner, Thomas

Year:

2007

Language:

english

File:

PDF, 875 KB

english, 2007

6

A taxonomy of model-based testing approaches

Mark Utting, Alexander Pretschner, Bruno Legeard

Journal:

Software Testing, Verification and Reliability

Year:

2012

Language:

english

File:

PDF, 929 KB

english, 2012

7

Herausforderungen an der Schnittstelle von Informatik und Gesellschaft

Anding, Markus, Boes, Andreas, Eckert, Claudia, Harhoff, Dietmar, Hess, Thomas, Münch, Ursula, Pretschner, Alexander

Journal:

Informatik-Spektrum

Year:

2017

Language:

german

File:

PDF, 219 KB

german, 2017

8

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 6 Test Generation Algorithms Based on Preorder Relations

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 217 KB

english, 2005

9

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || Part II. Testing of Labeled Transition Systems

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 105 KB

english, 2005

10

[ACM Press Proceeding of the 28th international conference - Shanghai, China (2006.05.20-2006.05.28)] Proceeding of the 28th international conference on Software engineering - ICSE '06 - 3rd international workshop on software engineering for automotive systems - SEAS 2006

Rappl, Martin, Pretschner, Alexander, Salzmann, Christian, Stauner, Thomas

Year:

2006

Language:

english

File:

PDF, 25 KB

english, 2006

11

[IEEE 2016 14th Annual Conference on Privacy, Security and Trust (PST) - Auckland, New Zealand (2016.12.12-2016.12.14)] 2016 14th Annual Conference on Privacy, Security and Trust (PST) - Generating behavior-based malware detection models with genetic programming

Wuchner, Tobias, Ochoa, Martin, Lovat, Enrico, Pretschner, Alexander

Year:

2016

Language:

english

File:

PDF, 5.53 MB

english, 2016

12

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 9 Testing Theory for Probabilistic Systems

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 506 KB

english, 2005

13

[IEEE 2011 Sixth International Conference on Availability, Reliability and Security (ARES) - Vienna, Austria (2011.08.22-2011.08.26)] 2011 Sixth International Conference on Availability, Reliability and Security - A Hypervisor-Based Bus System for Usage Control

Moucha, Cornelius, Lovat, Enrico, Pretschner, Alexander

Year:

2011

Language:

english

File:

PDF, 161 KB

english, 2011

14

2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems

Pretschner, Alexander, Salzmann, Christian, Stauner, Thomas

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2005

Language:

english

File:

PDF, 59 KB

english, 2005

15

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 11 Evaluating Coverage Based Testing

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 388 KB

english, 2005

16

[ACM Press the 1st International Workshop - Montpellier, France (2018.09.04-2018.09.04)] Proceedings of the 1st International Workshop on Advances in Mobile App Analysis - A-Mobile 2018 - Poking the bear: lessons learned from probing three Android malware datasets

Salem, Aleieldin, Pretschner, Alexander

Year:

2018

Language:

english

File:

PDF, 642 KB

english, 2018

17

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 16 TTCN-3

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 695 KB

english, 2005

18

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 7 I/O-automata Based Testing

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 401 KB

english, 2005

19

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - On the Predictability of Random Tests for Object-Oriented Software

Ciupa, Ilinca, Pretschner, Alexander, Leitner, Andreas, Oriol, Manuel, Meyer, Bertrand

Year:

2008

Language:

english

File:

PDF, 1.05 MB

english, 2008

20

[IEEE 2008 Third International Conference on Availability, Reliability and Security - (2008.03.4-2008.03.7)] 2008 Third International Conference on Availability, Reliability and Security - Negotiation of Usage Control Policies - Simply the Best?

Pretschner, Alexander, Walter, Thomas

Year:

2008

Language:

english

File:

PDF, 243 KB

english, 2008

21

[IEEE 2015 IEEE/ACM 1st International Workshop on Software Protection (SPRO) - Florence, Italy (2015.5.19-2015.5.19)] 2015 IEEE/ACM 1st International Workshop on Software Protection - A Framework for Measuring Software Obfuscation Resilience against Automated Attacks

Banescu, Sebastian, Ochoa, Martin, Pretschner, Alexander

Year:

2015

Language:

english

File:

PDF, 179 KB

english, 2015

22

[IEEE 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Nequivack: Assessing Mutation Score Confidence

Holling, Dominik, Banescu, Sebastian, Probst, Marco, Petrovska, Ana, Pretschner, Alexander

Year:

2016

Language:

english

File:

PDF, 308 KB

english, 2016

23

Center for Code Excellence Trends â Eine Plattform fÃ¼r Trends in Softwaretechnologien

KroÃ, Johannes, Bludau, Peter, Pretschner, Alexander

Journal:

Informatik-Spektrum

Year:

2020

File:

PDF, 1009 KB

2020

24

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - SPaCiTE -- Web Application Testing Engine

Buchler, Matthias, Oudinet, Johan, Pretschner, Alexander

Year:

2012

Language:

english

File:

PDF, 147 KB

english, 2012

25

[ACM Press the 4th ACM conference - San Antonio, Texas, USA (2014.03.03-2014.03.05)] Proceedings of the 4th ACM conference on Data and application security and privacy - CODASPY '14 - On quantitative dynamic data flow tracking

Lovat, Enrico, Oudinet, Johan, Pretschner, Alexander

Year:

2014

Language:

english

File:

PDF, 1.44 MB

english, 2014

26

[ACM Press the 34th ACM/SIGAPP Symposium - Limassol, Cyprus (2019.04.08-2019.04.12)] Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19 - Attack graph generation for microservice architecture

Ibrahim, Amjad, Bozhinoski, Stevica, Pretschner, Alexander

Year:

2019

File:

PDF, 917 KB

2019

27

[ACM Press the second ACM conference - San Antonio, Texas, USA (2012.02.07-2012.02.09)] Proceedings of the second ACM conference on Data and Application Security and Privacy - CODASKY '12 - Deriving implementation-level policies for usage control enforcement

Kumari, Prachi, Pretschner, Alexander

Year:

2012

Language:

english

File:

PDF, 1.47 MB

english, 2012

28

4 th Intl. ICSE workshop on Software Engineering for Automotive Systems

Pretschner, Alexander, Salzmann, Christian, Schätz, Bernhard, Stauner, Thomas

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2007

Language:

english

File:

PDF, 215 KB

english, 2007

29

[ACM Press the 1st International Workshop - Montpellier, France (2018.09.03-2018.09.03)] Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis - MASES 2018 - Automatically assessing vulnerabilities discovered by compositional analysis

Ognawala, Saahil, Amato, Ricardo Nales, Pretschner, Alexander, Kulkarni, Pooja

Year:

2018

Language:

english

File:

PDF, 1.21 MB

english, 2018

30

Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving1

Armando, Alessandro, Ranise, Silvio, Barthe, Gilles, Cuellar, Jorge, Lopez, Javier, Pretschner, Alexander

Journal:

Journal of Computer Security

Year:

2012

Language:

english

File:

PDF, 566 KB

english, 2012

31

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 17 UML 2.0 Testing Profile

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 432 KB

english, 2005

32

[IEEE 2012 IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE) - Dallas, TX, USA (2012.11.27-2012.11.30)] 2012 IEEE 23rd International Symposium on Software Reliability Engineering - Data Loss Prevention Based on Data-Driven Usage Control

Wuchner, Tobias, Pretschner, Alexander

Year:

2012

Language:

english

File:

PDF, 470 KB

english, 2012

33

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Test-Driven Assessment of Access Control in Legacy Applications

Traon, Yves Le, Mouelhi, Tejeddine, Pretschner, Alexander, Baudry, Benoit

Year:

2008

Language:

english

File:

PDF, 544 KB

english, 2008

34

[IEEE 2015 10th International Conference on Malicious and Unwanted Software (MALWARE) - Fajardo, PR, USA (2015.10.20-2015.10.22)] 2015 10th International Conference on Malicious and Unwanted Software (MALWARE) - A framework for empirical evaluation of malware detection resilience against behavior obfuscation

Banescu, Sebastian, Wuchner, Tobias, Salem, Aleieldin, Guggenmos, Marius, Ochoa, Martın, Pretschner, Alexander

Year:

2015

Language:

english

File:

PDF, 879 KB

english, 2015

35

[ACM Press the 28th ACM SIGSOFT International Symposium - Beijing, China (2019.07.15-2019.07.19)] Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019 - Failure clustering without coverage

Golagha, Mojdeh, Lehnhoff, Constantin, Pretschner, Alexander, Ilmberger, Hermann

Year:

2019

Language:

english

File:

PDF, 839 KB

english, 2019

36

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || Part VI. Beyond Testing

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

File:

PDF, 43 KB

2005

37

Distributed usage control

Pretschner, Alexander, Hilty, Manuel, Basin, David

Journal:

Communications of the ACM

Year:

2006

Language:

english

File:

PDF, 112 KB

english, 2006

38

[IEEE 2006 International Conference on Systems and Networks Communications (ICSNC'06) - Tahiti (2006.10.29-2006.11.3)] 2006 International Conference on Systems and Networks Communications (ICSNC'06) - Usage Control Requirements in Mobile and Ubiquitous Computing Applications

Hilty, Manuel, Pretschner, Alexander, Schaefer, Christian, Schaefer, Christian, Walter, Thomas

Year:

2006

Language:

english

File:

PDF, 237 KB

english, 2006

39

Abstractions for Model-Based Testing

Wolfgang Prenninger, Alexander Pretschner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 232 KB

english, 2005

40

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 18 Run-Time Verification

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 432 KB

english, 2005

41

[IEEE 2009 International Conference on Availability, Reliability and Security - Fukuoka, Japan (2009.03.16-2009.03.19)] 2009 International Conference on Availability, Reliability and Security - Formal Analyses of Usage Control Policies

Pretschner, Alexander, Rüesch, Judith, Schaefer, Christian, Walter, Thomas

Year:

2009

Language:

english

File:

PDF, 376 KB

english, 2009

42

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Model-Based Tests for Access Control Policies

Pretschner, Alexander, Mouelhi, Tejeddine, Traon, Yves Le

Year:

2008

Language:

english

File:

PDF, 496 KB

english, 2008

43

[IEEE Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - Bologna, Italy (2007.06.13-2007.06.15)] Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - DUKE--Distributed Usage Control Enforcement

Hilty, Manuel, Pretschner, Alexander, Schaefer, Christian, Walter, Thomas

Year:

2007

Language:

english

File:

PDF, 85 KB

english, 2007

44

Software Security in Virtualized Infrastructures — The Smart Meter Example

Beckert, Bernhard, Hofheinz, Dennis, Müller-Quade, Jörn, Pretschner, Alexander, Snelting, Gregor

Journal:

it - Information Technology

Year:

2011

Language:

english

File:

PDF, 664 KB

english, 2011

45

[ACM Press the first ACM conference - San Antonio, TX, USA (2011.02.21-2011.02.23)] Proceedings of the first ACM conference on Data and application security and privacy - CODASPY '11 - Distributed data usage control for web applications

Kumari, Prachi, Pretschner, Alexander, Peschla, Jonas, Kuhn, Jens-Michael

Year:

2011

Language:

english

File:

PDF, 717 KB

english, 2011

46

[IEEE 2012 6th International Conference on Software Security and Reliability (SERE) - Gaithersburg, MD, USA (2012.06.20-2012.06.22)] 2012 IEEE Sixth International Conference on Software Security and Reliability - Flexible Data-Driven Security for Android

Feth, Denis, Pretschner, Alexander

Year:

2012

Language:

english

File:

PDF, 200 KB

english, 2012

47

[ACM Press the 31st Annual ACM Symposium - Pisa, Italy (2016.04.04-2016.04.08)] Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 - MalFlow

Wüchner, Tobias, Ochoa, Martín, Golagha, Mojdeh, Srivastava, Gaurav, Schreck, Thomas, Pretschner, Alexander

Year:

2016

Language:

english

File:

PDF, 1.38 MB

english, 2016

48

[IEEE 2019 IEEE Intelligent Transportation Systems Conference - ITSC - Auckland, New Zealand (2019.10.27-2019.10.30)] 2019 IEEE Intelligent Transportation Systems Conference (ITSC) - Did We Test All Scenarios for Automated and Autonomous Driving Systems?

Hauer, Florian, Schmidt, Tabea, Holzmuller, Bernd, Pretschner, Alexander

Year:

2019

File:

PDF, 824 KB

2019

49

[IEEE 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - Porto, Portugal (2020.10.24-2020.10.28)] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - Can We Predict the Quality of Spectrum-based Fault Localization?

Golagha, Mojdeh, Pretschner, Alexander, Briand, Lionel C.

Year:

2020

File:

PDF, 236 KB

2020

50

Stateful authorization logic â Proof theory and a case study

Garg, Deepak, Pfenning, Frank, Barthe, Gilles, Cuellar, Jorge, Lopez, Javier, Pretschner, Alexander

Journal:

Journal of Computer Security

Year:

2012

File:

PDF, 282 KB

2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски